Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
311	Multi-Core Emptiness Checking of Timed B¨ uchi ∗ Automata using Inclusion Abstraction Alfons Laarman1 , Mads Chr. Olesen2 , Andreas Dalsgaard2 , Kim G. Larsen2 , and Jaco van de Pol1 Add to Reading List Source URL: people.cs.aau.dk Language: English - Date: 2013-06-13 05:44:50 Models of computation Deduction Entailment Logical consequence Metalogic S0 Cyan Advanced Configuration and Power Interface Finite-state machine Color Logic Automata theory
312	LispMe: An Implementation of Scheme for the Palm Pilot Fred Bayer ElisabethstrMunich, Germany Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:09 Virtual machines Cross-platform software Data types Models of computation Subroutines SECD machine Palm OS Closure C Computing Software engineering Computer programming
313	Retraction of Probabilistic Computation and Linear Time Lance Fortnow Michael Sipser MIT Math Dept. Cambridge, MA 02139 Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2010-05-13 09:33:41 Structural complexity theory Complexity classes Models of computation Lance Fortnow Probabilistic complexity theory Interactive proof system IP Bounded-error probabilistic polynomial Probabilistic Turing machine Theoretical computer science Computational complexity theory Applied mathematics
314	Computing with Relational Machines G´erard Huet and Benoˆıt Razet INRIA Paris-Rocquencourt ICON’2008 Tutorial, Pune, DecemberAbstract. We give a quick presentation of the X-machines of Eilenberg, a generalisa Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2008-12-14 19:37:35 Computer science Formal methods Deterministic finite automaton Nondeterministic finite automaton Finite-state machine X-machine Non-deterministic Turing machine Ω-automaton Finite state transducer Models of computation Automata theory Theoretical computer science
315	On system rollback and totalised fields An algebraic approach to system change Mark Burgess and Alva Couch 20th June 2011 This paper is dedicated to Jan Bergstra on the occasion of his 60th birthday. Add to Reading List Source URL: markburgess.org Language: English - Date: 2014-12-18 08:35:34 Finite-state machine Computing Mathematics Deterministic pushdown automaton Automata theory Models of computation Nondeterministic finite automaton
316	Automated Email Activity Management: An Unsupervised Learning Approach Nicholas Kushmerick Tessa Lau Add to Reading List Source URL: tlau.org Language: English - Date: 2004-11-22 11:10:35 Internet Phase transition Finite-state machine RSA Physics Email Computing Models of computation
317	Research internship (Master M2) Title Verification of concurrent systems with data structures Description Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2013-11-20 05:22:25 Verification Finite-state machine Models of computation Automata theory Systems engineering
318	Electronic Notes in Theoretical Computer Science 66 NoURL: http://www.elsevier.nl/locate/entcs/volume66.html 31 pages Information Flow Security in Boxed Ambients Silvia Crafa1 Michele Bugliesi 1 Dipartimento d Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:58:08 Process calculi Ambient calculus Models of computation Deduction Theoretical computer science Propositional calculus Entailment Process calculus Valuation Logic Abstract algebra Mathematics
319	Cyclic Architectures in UML Techletter Nr. 2 What is a Techletter? Well actually nothing more than a newsletter, just that the content mainly focusses on technical items in the UML and in embedded systems with limited re Add to Reading List Source URL: www.willert.de Language: English - Date: 2015-01-12 10:47:06 Diagrams Unified Modeling Language Infographics Models of computation UML tool State diagram Activity diagram Embedded system Entity-relationship model Software UML diagrams Computing
320	Regular Real Analysis Swarat Chaudhuri Rice University Sriram Sankaranarayanan Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2013-04-26 17:57:31 Models of computation Theoretical computer science Functions and mappings Calculus Ω-automaton Finite state transducer Continuous function Derivative Computability Automata theory Mathematics Mathematical analysis

UPDATE